structure S =
struct
  eqtype t (= int)
  val x : t
end
